A primer on code generation in Cranelift by Benjamin Bouvier
bouvier.cc·1d
🦀Rust Macros
Herb Sutter "Three Cool Things in C++26"
herbsutter.com·1h·
Discuss: Hacker News
🔩Systems Programming
Automated Beam-On-Time Chipset Validation via Hyperdimensional Semantic Analysis
dev.to·5h·
Discuss: DEV
🔧Hardware Verification
Lisp in 99 Lines of C With TinyLisp
hackaday.com·12h
🔗Lisp
CodeSOD: Copy of a Copy of a
thedailywtf.com·7h
🌲B-tree Forensics
Building Code Retrieval for Claude Code from Scratch
zc277584121.github.io·23h·
Discuss: Hacker News
🌳Incremental Parsing
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·2d
🔮Proof Search
Trap: Autoregressive Transformers in APL
github.com·1d·
Discuss: Lobsters
📊APL Heritage
Why People Read Assembly
codestyleandtaste.com·3d·
Discuss: r/programming
🔧RISC-V Assembler
Algebra 2 Problems of the Day (Algebra 2 Regents, August 2024 Part III)
mrburkemath.blogspot.com·47m·
Discuss: www.blogger.com
📐Linear Algebra
A Magnetized Needle and a Steady Hand (2016)
nullprogram.com·4h·
Discuss: Hacker News
🔧RISC-V Assembler
Are We Teaching Rust Effectively?
blog.kodewerx.org·2d·
Discuss: Hacker News
🦀Rust Borrowing
Czkawka / Krokiet 10.0,
medium.com·1d
🦀Rust Macros
Documents: The architect’s programming language
stackoverflow.blog·14m
💾Persistence Strategies
Show HN: OnPair – String compression with fast random access (Rust, C++)
github.com·22h·
Discuss: Hacker News
📦Deflate
Necro-Reaper: Pruning Away Dead Memory Traffic in Warehouse-Scale Computers
danglingpointers.substack.com·21h·
Discuss: Substack
🔩Systems Programming
No More ‘Ship and Pray’: Testing SaaS Billing Systems with Playwright & Stripe Test Clocks
hackernoon.com·7h
🌊Stream Processing
original ↗
pvk.ca·1d·
Discuss: Lobsters, Hacker News
🛡️Preservation Proofs
A not-so-silent revolution is happening in AI inference
julsimon.medium.com·58m
🧮Compute Optimization
Slice: SAST + LLM Interprocedural Context Extractor
noperator.dev·1d
🔓Decompilation